quasi inverse functor

擬逆函子